According to the canonical formulation of the modal account of luck [e.g. Pritchard (2005)], an event is lucky just when that event occurs in the actual world but not in a wide class of the nearest possible worlds where the relevant conditions for that event are the same as in the actual world. This paper argues, with reference to a novel variety of counterexample, that it is a mistake to focus, when assessing a given event for luckiness, on events distributed (...) over just the nearest possible worlds. More specifically, our objection to the canonical formulation of the modal account of luck reveals that whether an event is lucky depends crucially on events distributed over all possible worlds–viz., across the modal universe. It is shown that an amended modal account of luck which respects this point has the additional virtue of avoiding a notable kind of counterexample to modal accounts of luck proposed by Lackey (2008). (shrink)

In a recent paper in this journal, we proposed two novel puzzles associated with the precautionary principle. Both are puzzles that materialise, we argue, once we investigate the principle through an epistemological lens, and each constitutes a philosophical hurdle for any proponent of a plausible version of the precautionary principle. Steglich-Petersen claims, also in this journal, that he has resolved our puzzles. In this short note, we explain why we remain skeptical.

In this paper we present two distinctly epistemological puzzles that arise for one who aspires to defend some plausible version of the precautionary principle. The first puzzle involves an application of contextualism in epistemology; and the second puzzle concerns the task of defending a plausible version of the precautionary principle that would not be invalidated by de minimis.

In this paper we shed new light on the Argument from Disagreement by putting it to test in a computer simulation. According to this argument widespread and persistent disagreement on ethical issues indicates that our moral opinions are not influenced by any moral facts, either because no such facts exist or because they are epistemically inaccessible or inefficacious for some other reason. Our simulation shows that if our moral opinions were influenced at least a little bit by moral facts, we (...) would quickly have reached consensus, even if our moral opinions were affected by factors such as false authorities, external political shifts, and random processes. Therefore, since no such consensus has been reached, the simulation gives us increased reason to take seriously the Argument from Disagreement. Our conclusion is however not conclusive; the simulation also indicates what assumptions one has to make in order to reject the Argument from Disagreement. The simulation algorithm we use builds on the work of Hegselmann and Krause (J Artif Soc Social Simul 5(3); 2002, J Artif Soc Social Simul 9(3), 2006). (shrink)

The European Association for Cognitive Systems is the association resulting from the EUCog network, which has been active since 2006. It has ca. 1000 members and is currently chaired by Vincent C. Müller. We ran our annual conference on December 08-09 2016, kindly hosted by the Technical University of Vienna with Markus Vincze as local chair. The invited speakers were David Vernon and Paul F.M.J. Verschure. Out of the 49 submissions for the meeting, we accepted 18 a papers and (...) 25 as posters (after double-blind reviewing). Papers are published here as “full papers” or “short papers” while posters are published here as “short papers” or “abstracts”. Some of the papers presented at the conference will be published in a separate special volume on ‘Cognitive Robot Architectures’ with the journal Cognitive Systems Research. - RC, VCM, YS, MV. (shrink)

There can be no doubt that discrimination based on sex, race, ethnicity, religion or beliefs should not be tolerated in academia. Surprisingly, however, in recent years, policies of Diversity, Inclusion and Equity(DIE), officially introduced to counteract discrimination, have increasingly led to quite the opposite result: the exclusion of individuals who do not share a radical 'woke' ideology on identity politics (feminism, other gender activisms, critical race theory, etc.), and to the suppression of the academic freedom to discuss such dogmas. This (...) subversion of academia ― disguised Trojan-horse style as universal human rights advocacy ― is unacceptable because academia must be politically neutral and protect freedom of speech, a cornerstone of professional scholarly activity without which universities as we know them will slowly but surely suffocate. -/- Our purpose here is to put together some particularly illustrative cases of such repression in a single book, testifying to a ubiquitous trend within western culture, irreducible to a few isolated complaints. The essays contained here illustrate the abuse of power, censorship and witch-hunts at many universities and research centres in the name of DIE. -/- List of coauthors in alphabetical order: Dorian Abbot, Tomonori Agoh, Gerhard Amendt, Ivar Arpi, David Benatar, Peter Boghossian, Civitas Research Team, David Díaz Pardo de Vera, Pedro Domingos, Janice Fiamengo, Étienne Forest, Jorge Gibert Galassi, Norman Goldstuck, José L. González Quirós, Lawrence M. Krauss, Patrick LaBelle, Martín López Corredoira, Heather Mac Donald, Martin Malmgren, Erik. J. Olsson, Jordan Peterson, Constantin Polychronakos, Philip C. Salzman, Alessandro Strumia, Tom Todd, Andrei Yafaev. (shrink)

Abstract of of the anthology: Digitalisation encompasses all areas of life and is thus also relevant for theology and the Church. This is not just about the possible uses of social media; in this anthology, digitalisation is understood as a phenomenon that shapes society, the Church and theology with the help of various technologies, such as artificial intelligence. In this context, theology and the Church represent places of digitalisation on the one hand, and, at the same time, the discourse on (...) digitalisation can be advanced with the help of theological thinking on the other. This anthology is both theologically ecumenical and is anchored in an international context. The editors' research focus is on ethics. -/- With contributions by: Aaron J. Butler, Heide A. Campbell, Michael Fuchs, Stephen Garner, David J. Gunkel, Florian Höhne, Markus Huppenbauer, Peter G. Kirchschläger, Birte Platow, Raphael Salvi, Thomas Schlag, Peter Seele, Gotlind Ulshöfer, Joachim Wiemeyer and Lukas Zapf. (shrink)

This text offers major re-evaluation of Wittgenstein's thinking. It is a collection of essays that presents a significantly different portrait of Wittgenstein. The essays clarify Wittgenstein's modes of philosophical criticism and shed light on the relation between his thought and different philosophical traditions and areas of human concern. With essays by Stanley Cavell, James Conant, Cora Diamond, Peter Winch and Hilary Putnam, we see the emergence of a new way of understanding Wittgenstein's thought. This is a controversial collection, with essays (...) by highly regarded Wittgenstein scholars that may change the way we look at Wittgenstein's body of work. (shrink)

A long-standing debate in group ontology and group epistemology concerns whether some groups possess mental states and/or epistemic states such as knowledge that do not reduce to the mental states and/or epistemic states of the individuals who comprise such groups (and are also states not possessed by any of the members). Call those who think there are such states inflationists. There has recently been a defense in the literature of a specific type of inflationary knowledge—viz., knowledge of facts about group (...) minds or group self-knowledge (GS-K). In this paper I address whether some groups do possess such knowledge. I argue that we have good reason to think they do not. I do so by exploring the most explicit defense of such knowledge in the literature—Lukas Schwengerer’s (2022) defense—as well as other ways of defending this thesis and arguing that such ways are problematic. In the latter part of the paper, I explain why the two most popular inflationary approaches to group knowledge simpliciter are incompatible with there being GS-K. In doing so I work to show why even inflationists should reject the view that there is inflationary group self-knowledge. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

At the heart of the Bayesianism is a rule, Conditionalization, which tells us how to update our beliefs. Typical formulations of this rule are underspecified. This paper considers how, exactly, this rule should be formulated. It focuses on three issues: when a subject’s evidence is received, whether the rule prescribes sequential or interval updates, and whether the rule is narrow or wide scope. After examining these issues, it argues that there are two distinct and equally viable versions of Conditionalization to (...) choose from. And which version we choose has interesting ramifications, bearing on issues such as whether Conditionalization can handle continuous evidence, and whether Jeffrey Conditionalization is really a generalization of Conditionalization. (shrink)

Metaethical constructivism aims to explain morality’s authority and relevance by basing it in agency, in a capacity of the creatures who are in fact morally bound. But constructivists have struggled to wring anything recognizably moral from an appropriately minimal conception of agency. Even if they could, basing our reasons in our individual agency seems to make other people reason-giving for us only indirectly. This paper argues for a constructivism based on a social conception of agency, on which our capacity to (...) recognize ourselves as having reasons ties us inescapably to others. It argues that mutual recognition is a pervasive feature of linguistic concepts, and builds this into a view called transformative expressivism. (shrink)

This paper proposes and defends an account of what it is to act for reasons. In the first part, I will discuss the desire-belief and the deliberative model of acting for reasons. I will argue that we can avoid the weaknesses and retain the strengths of both views, if we pursue an alternative according to which acting for reasons involves taking something as a reason. In the main part, I will develop an account of what it is to take something (...) as a reason for action. On the basis of this, I will then offer a new account of what it is to act for reasons. (shrink)

If science fiction is a genre, then attempts to think about the nature of science fiction will be affected by one’s understanding of what genres are. I shall examine two approaches to genre, one dominant but inadequate, the other better, but only occasionally making itself seen. I shall then discuss several important, interrelated issues, focusing particularly on science fiction : what it is for a work to belong to a genre, the semantics of genre names, the validity of attempts to (...) define genres, and the connections between genre and normativity. One important but neglected clue to the nature of genres lies in the kinds of disagreements they generate over the assignment of works to genres. I conclude by explaining why these disagreements tell us something about the nature of genres, and discussing in some detail two famous cases of disagreement about whether some work or works are science fiction. (shrink)

Biological atomism postulates that all life is composed of elementary and indivisible vital units. The activity of a living organism is thus conceived as the result of the activities and interactions of its elementary constituents, each of which individually already exhibits all the attributes proper to life. This paper surveys some of the key episodes in the history of biological atomism, and situates cell theory within this tradition. The atomistic foundations of cell theory are subsequently dissected and discussed, together with (...) the theory’s conceptual development and eventual consolidation. This paper then examines the major criticisms that have been waged against cell theory, and argues that these too can be interpreted through the prism of biological atomism as attempts to relocate the true biological atom away from the cell to a level of organization above or below it. Overall, biological atomism provides a useful perspective through which to examine the history and philosophy of cell theory, and it also opens up a new way of thinking about the epistemic decomposition of living organisms that significantly departs from the physicochemical reductionism of mechanistic biology. (shrink)

This dissertation investigates conceptions of responsibility at work in contemporary intergenerational nuclear waste policy. It argues that articulations of responsibility at work in current policy unduly privileges resemblance to the present as a condition for that responsibility holding as an intergenerational relation. The dissertation begins by arguing that current waste disposal practices depend on a view of responsibility contingent on the presumption that future generations will be minimally epistemologically, socially, and politically continuous with present generations. Extant policy is therefore found (...) to place an asymmetric and unjust burden on future generations. The dissertation thus concludes that responsibilities to future generations require that responsibility be thought prior to particular determinations of the possible identity of our inheritors. (shrink)

Knowledge ascriptions of the form ‘S knows that p’ are a central area of research in philosophy. But why do humans think and talk about knowledge? What are knowledge ascriptions for? This article surveys a variety of proposals about the role of knowledge ascriptions and attempts to provide a unified account of these seemingly distinct views.

The idea of levels of organization plays a central role in the philosophy of the life sciences. In this article, I first examine the explanatory goals that have motivated accounts of levels of organization. I then show that the most state-of-the-art and scientifically plausible account of levels of organization, the account of levels of mechanism proposed by Bechtel and Craver, is fundamentally problematic. Finally, I argue that the explanatory goals can be reached by adopting a deflationary approach, where levels of (...) organization give way to more well-defined and fundamental notions, such as scale and composition. (shrink)

In this paper we raise the question whether technological artifacts can properly speaking be trusted or said to be trustworthy. First, we set out some prevalent accounts of trust and trustworthiness and explain how they compare with the engineer’s notion of reliability. We distinguish between pure rational-choice accounts of trust, which do not differ in principle from mere judgments of reliability, and what we call “motivation-attributing” accounts of trust, which attribute specific motivations to trustworthy entities. Then we consider some examples (...) of technological entities that are, at first glance, best suited to serve as the objects of trust: intelligent systems that interact with users, and complex socio-technical systems. We conclude that the motivation-attributing concept of trustworthiness cannot be straightforwardly applied to these entities. Any applicable notion of trustworthy technology would have to depart significantly from the full-blown notion of trustworthiness associated with interpersonal trust. (shrink)

The recent controversy about misinformation has moved a question into the focus of the public eye that has occupied philosophers for decades: Under what conditions is it appropriate to assert a certain claim? When asserting a claim that x, must one know that x? Must x be true? Might it be normatively acceptable to assert whatever one believes? In the largest cross-cultural study to date (total n = 1,091) on the topic, findings from the United States, Germany, and Japan suggest (...) that, in order to claim that x, x need not be known, and it can be false. However, the data show, we do expect considerable epistemic responsibility on the speaker’s behalf: In order to appropriately assert a claim, the speaker must have good reasons to believe it. (shrink)

The luck argument raises a serious challenge for libertarianism about free will. In broad outline, if an action is undetermined, then it appears to be a matter of luck whether or not one performs it. And if it is a matter of luck whether or not one performs an action, then it seems that the action is not performed with free will. This argument is most effective against event-causal accounts of libertarianism. Recently, Franklin (Philosophical Studies 156:199–230, 2011) has defended event-causal (...) libertarianism against four formulations of the luck argument. I will argue that three of Franklin’s responses are unsuccessful and that there are important versions of the luck challenge that his defense has left unaddressed. (shrink)

Descartes’ demon is a deceiver: the demon makes things appear to you other than as they really are. However, as Descartes famously pointed out in the Second Meditation, not all knowledge is imperilled by this kind of deception. You still know you are a thinking thing. Perhaps, though, there is a more virulent demon in epistemic hell, one from which none of our knowledge is safe. Jonathan Schaffer thinks so. The “Debasing Demon” he imagines threatens knowledge not via the truth (...) condition on knowledge, but via the basing condition. This demon can cause any belief to seem like it’s held on a good basis, when it’s really held on a bad basis. Several recent critics, Conee, Ballantyne & Evans ) grant Schaffer the possibility of such a debasing demon, and argue that the skeptical conclusion doesn’t follow. By contrast, we argue that on any plausible account of the epistemic basing relation, the “debasing demon” is impossible. Our argument for why this is so gestures, more generally, to the importance of avoiding common traps by embracing mistaken assumptions about what it takes for a belief to be based on a reason. (shrink)

With twentieth- and twenty-first-century philosophy of science’s unfolding acceptance of the nature of scientific inquiry being value-laden, the persistent worry has been that there are no means for legitimate negotiation of the social or non-epistemic values that enter into science. The rejection of the value-free ideal in science has thereby been coupled with the spectres of indiscriminate relativism and bias in scientific inquiry. I challenge this view in the context of recently expressed concerns regarding Canada's death of evidence controversy. The (...) worry, raised by Stathis Psillos, is that as constructivist accounts of science demoted the previously secure status of evidence for drawing justified conclusions in science, we were left with no rational delineation between the right and wrong values for science. The implication for the death of evidence controversy is that we may have no rational grounds for claiming that the Canadian Government is wrong to interfere with scientific enterprise. But he does offer another avenue for reaching the conclusion that the wrong social values are directing the current stifling of some sectors of Canadian science. Psillos draws from standpoint epistemologies to devise a salient defence of ‘valuing evidence’ as a universalizable social value. That is, government bodies ought to enable scientific research via adequate funding as well as political non-interference. In this paper, I counter that non-epistemic values can be rationally evaluated and that standpoint epistemology’s universalizable standpoint provides an inadequate framework for negotiating social values in science. Regarding, I draw from the evidence-based medicine debate in philosophy of medicine and from feminist empiricist investigations into the science–values relationship in order to make the argument for empirically driven value arbitration. If social values can be rationally chosen in the context of justification, then we can have grounds for charging the Canadian leadership with being ‘at war with science’. I further argue that my recommended empiricist methodology is preferable to Psillos’s search for universalizable perspectives for negotiating social values in science because the latter method permits little more than the trivial conclusion that evidence is valuable to science. (shrink)

I show that the recent account of levels in neuroscience proposed by Craver and Bechtel is unsatisfactory since it fails to provide a plausible criterion for being at the same level and is incompatible with Craver and Bechtel’s account of downward causation. Furthermore, I argue that no distinct notion of levels is needed for analyzing explanations and causal issues in neuroscience: it is better to rely on more well-defined notions such as composition and scale. One outcome of this is that (...) apparent cases of downward causation can be analyzed away. (shrink)

Moral philosophers and psychologists often assume that people judge morally lucky and morally unlucky agents differently, an assumption that stands at the heart of the Puzzle of Moral Luck. We examine whether the asymmetry is found for reflective intuitions regarding wrongness, blame, permissibility, and punishment judg- ments, whether people’s concrete, case-based judgments align with their explicit, abstract principles regarding moral luck, and what psychological mechanisms might drive the effect. Our experiments produce three findings: First, in within-subjects experiments favorable to reflective (...) deliberation, the vast majority of people judge a lucky and an unlucky agent as equally blameworthy, and their actions as equally wrong and permissible. The philosophical Puzzle of Moral Luck, and the challenge to the very possibility of systematic ethics it is frequently taken to engender, thus simply do not arise. Second, punishment judgments are significantly more outcome- dependent than wrongness, blame, and permissibility judgments. While this constitutes evidence in favor of current Dual Process Theories of moral judgment, the latter need to be qualified: punishment and blame judgments do not seem to be driven by the same process, as is commonly argued in the literature. Third, in between-subjects experiments, outcome has an effect on all four types of moral judgments. This effect is mediated by negligence ascriptions and can ultimately be explained as due to differing probability ascriptions across cases. (shrink)

Empirical evidence challenges many of the assumptions that underlie traditional philosophical and commonsense conceptions of human agency. It has been suggested that this evidence threatens also to undermine free will and moral responsibility. In this paper, I will focus on the purported threat to moral responsibility. The evidence challenges assumptions concerning the ability to exercise conscious control and to act for reasons. This raises an apparent challenge to moral responsibility as these abilities appear to be necessary for morally responsible agency. (...) I will argue that this challenge collapses once the underlying conditions on moral responsibility are specified in sufficient detail. I will argue, in other words, that the empirical evidence does not support a challenge to the assumption that we are, in general, morally responsible agents. In the final section, I will suggest that empirical research on human agency is nevertheless relevant to various questions about moral responsibility. (shrink)

The potential capacity for robots to deceive has received considerable attention recently. Many papers explore the technical possibility for a robot to engage in deception for beneficial purposes (e.g., in education or health). In this short experimental paper, I focus on a more paradigmatic case: robot lying (lying being the textbook example of deception) for nonbeneficial purposes as judged from the human point of view. More precisely, I present an empirical experiment that investigates the following three questions: (a) Are ordinary (...) people willing to ascribe deceptive intentions to artificial agents? (b) Are they as willing to judge a robot lie as a lie as they would be when human agents engage in verbal deception? (c) Do people blame a lying artificial agent to the same extent as a lying human agent? The response to all three questions is a resounding yes. This, I argue, implies that robot deception and its normative consequences deserve considerably more attention than they presently receive. (shrink)

This paper brings together several strands of thought from both the analytic and phenomenological traditions in order to critically examine accounts of cognitive enhancement that rely on the idea of cognitive extension. First, I explain the idea of cognitive extension, the metaphysics of mind on which it depends, and how it has figured in recent discussions of cognitive enhancement. Then, I develop ideas from Husserl that emphasize the agential character of thought and the distinctive way that conscious thoughts are related (...) to one another. I argue that these considerations are necessary for understanding why forms of cognitive extension may diminish our cognitive lives in different ways. This does not lead to a categorical rejection of cognitive enhancement as unethical or bad for human flourishing, but does warrant a conservative approach to the design and implementation of cognitive artifacts. (shrink)

Contextualism is the view that the extension of perspectival claims (involving e.g. predicates of personal taste or epistemic modals) depends on the context of utterance. Relativism is the view that the extension of perspectival claims depends on the context of assessment. Both views make concrete, empirically testable predictions about how such claims are used by ordinary English language speakers. This chapter surveys some of the recent empirical literature on the topic and presents four new experiments (total N=724). Consistent with contextualism (...) and inconsistent with relativism, the results suggest that the extension of perspectival claims depends on the context of utterance, not the context of assessment. (shrink)

In this article, I explore an important difference between circumstantial luck on the one side and resultant and constitutive luck on the other. In section 1, I argue that, in circumstantial luck, the object of luck and the object of moral judgment are different even though, in resultant and constitutive luck, they are the same. In section 2, I explain that this difference (1) has the potential to undermine the regress argument for moral luck; (2) makes viable the “selective moral (...) luck” argument strategy (affirming some species of moral luck but denying others); and (3) has implications for the heritability of luck. (shrink)

Robustness is often presented as a guideline for distinguishing the true or real from mere appearances or artifacts. Most of recent discussions of robustness have focused on the kind of derivational robustness analysis introduced by Levins, while the related but distinct idea of robustness as multiple accessibility, defended by Wimsatt, has received less attention. In this paper, I argue that the latter kind of robustness, when properly understood, can provide justification for ontological commitments. The idea is that we are justified (...) in believing that things studied by science are real insofar as we have robust evidence for them. I develop and analyze this idea in detail, and based on concrete examples show that it plays an important role in science. Finally, I demonstrate how robustness can be used to clarify the debate on scientific realism and to formulate new arguments. (shrink)

INTRODUCTION I. CETERIS PARIBUS LAWS An alleged law of nature—like Newton's law of gravitation—is said to be a ceteris paribus law if it does not hold under ...

Alfred Mele’s zygote argument is widely considered to be the strongest version of the manipulation argument against compatibilism (about free will and determinism). Opponents have focused largely on the first of its two premises and on the overall dialectic. My focus here will be on the underlying thought experiment—the Diana scenario—and on the second premise of the argument. I will argue that reflection on the Diana scenario shows that the second premise does not hold, and we will see that my (...) objection to the second premise helps to defend the claim that manipulation arguments face, in general, a dilemma. (shrink)

This paper explores whether it is possible to reformulate or re-interpret Lewis’s theory of fundamental laws of nature—his “best system analysis”—in such a way that it becomes a useful theory for special science laws. One major step in this enterprise is to make plausible how law candidates within best system competitions can tolerate exceptions—this is crucial because we expect special science laws to be so called “ceteris paribus laws ”. I attempt to show how this is possible and also how (...) we can thereby make the first step towards a solution for the infamous difficulties surrounding the troublesome ceteris paribus clause. The paper outlines the general ideas of the theory but also points out some of its difficulties and background assumptions. (shrink)

Recent years have seen an explosion of empirical data concerning arithmetical cognition. In this paper that data is taken to be philosophically important and an outline for an empirically feasible epistemological theory of arithmetic is presented. The epistemological theory is based on the empirically well-supported hypothesis that our arithmetical ability is built on a protoarithmetical ability to categorize observations in terms of quantities that we have already as infants and share with many nonhuman animals. It is argued here that arithmetical (...) knowledge developed in such a way cannot be totally conceptual in the sense relevant to the philosophy of arithmetic, but neither can arithmetic understood to be empirical. Rather, we need to develop a contextual a priori notion of arithmetical knowledge that preserves the special mathematical characteristics without ignoring the roots of arithmetical cognition. Such a contextual a priori theory is shown not to require any ontologically problematic assumptions, in addition to fitting well within a standard framework of general epistemology. (shrink)

Benjamin Libet's empirical challenge to free will has received a great deal of attention and criticism. A standard line of response has emerged that many take to be decisive against Libet's challenge. In the first part of this paper, I will argue that this standard response fails to put the challenge to rest. It fails, in particular, to address a recent follow-up experiment that raises a similar worry about free will (Soon, Brass, Heinze, & Haynes, 2008). In the second part, (...) however, I will argue that we can altogether avoid Libet-style challenges if we adopt a traditional compatibilist account of free will. In the final section, I will briefly explain why there is good and independent reason to think about free will in this way. (shrink)

In 'The Reference Book' (2012), Hawthorne and Manley observe the following contrast between (1) and (2): -/- (1) In every race John won. (2) In every race, the colt won. -/- The name 'John' in (1) must intuitively refer to the same single individual for each race. However, the description 'the colt' in (2) has a co-varying reading, i.e. a reading where for each race it refers to a different colt. This observation is a prima facie problem for proponents of (...) so-called The-Predicativism which is the view that the name in (1) is really a covert definite description, viz. 'the John'. If the The-Predicativism is correct, (1) and (2) are therefore syntactically equivalent, but this makes it mysterious why only (2) would have a co-varying reading. In a recent paper, Fara (2015) argues that there is a simple and elegant way for proponents of The-Predicativism to explain this contrast. This explanation relies on discerning some subtle syntactic differences between (1) and (2) which in turn are based on assumptions about nominal restrictions a la Stanley and Szabó (2000). In this short paper, I demonstrate that Fara's proposed explanation has a variety of serious shortcomings and hence that the contrast between (1) and (2) remains a significant problem for Predicativism. (shrink)

This paper combines two ideas: (1) That the Lewisian best system analysis of lawhood (BSA) can cope with laws that have exceptions (cf. Braddon-Mitchell in Noûs 35(2):260–277, 2001; Schrenk in The metaphysics of ceteris paribus laws. Ontos, Frankfurt, 2007). (2) That a BSA can be executed not only on the mosaic of perfectly natural properties but also on any set of special science properties (cf., inter alia, Schrenk 2007, Selected papers contributed to the sections of GAP.6, 6th international congress of (...) the society for analytical philosophy. Mentis, Paderborn/Münster, 2008; Cohen and Callender in Philos Stud 145:1–34, 2009, Erkenntnis 73:427–447, 2010). Bringing together (1) and (2) results in an analysis of special science ceteris paribus laws. (shrink)

Beck presents an outline of the procedure of bootstrapping of integer concepts, with the purpose of explicating the account of Carey. According to that theory, integer concepts are acquired through a process of inductive and analogous reasoning based on the object tracking system, which allows individuating objects in a parallel fashion. Discussing the bootstrapping theory, Beck dismisses what he calls the "deviant-interpretation challenge"—the possibility that the bootstrapped integer sequence does not follow a linear progression after some point—as being general to (...) any account of inductive learning. While the account of Carey and Beck focuses on the OTS, in this paper I want to reconsider the importance of another empirically well-established cognitive core system for treating numerosities, namely the approximate number system. Since the ANS-based account offers a potential alternative for integer concept acquisition, I show that it provides a good reason to revisit the deviant-interpretation challenge. Finally, I will present a hybrid OTS-ANS model as the foundation of integer concept acquisition and the framework of enculturation as a solution to the challenge. (shrink)

Previous research in Explainable Artificial Intelligence (XAI) suggests that a main aim of explainability approaches is to satisfy specific interests, goals, expectations, needs, and demands regarding artificial systems (we call these “stakeholders' desiderata”) in a variety of contexts. However, the literature on XAI is vast, spreads out across multiple largely disconnected disciplines, and it often remains unclear how explainability approaches are supposed to achieve the goal of satisfying stakeholders' desiderata. This paper discusses the main classes of stakeholders calling for explainability (...) of artificial systems and reviews their desiderata. We provide a model that explicitly spells out the main concepts and relations necessary to consider and investigate when evaluating, adjusting, choosing, and developing explainability approaches that aim to satisfy stakeholders' desiderata. This model can serve researchers from the variety of different disciplines involved in XAI as a common ground. It emphasizes where there is interdisciplinary potential in the evaluation and the development of explainability approaches. (shrink)

This paper presents a series of studies (total N=579) which demonstrate that folk judgments concerning the reasonableness of decisions and actions depend strongly on whether they engender positive or negative consequences. A particular decision is deemed more reasonable in retrospect when it produces beneficial consequences than when it produces harmful consequences, even if the situation in which the decision was taken and the epistemic circumstances of the agent are held fixed across conditions. This finding is worrisome for the law, where (...) the reasonable person standard plays a prominent role. The legal concept of reasonableness is outcome-insensitive: whether the defendant acted in a reasonable fashion or not depends exclusively on her context of action, no matter how things play out. Folk judgments of reasonableness are thus inconsistent with the legal concept of reasonableness. Problematically, in common law jurisdictions, the decision whether a defendant’s behavior was reasonable or not is frequently (though not necessarily) delegated to a lay jury. (shrink)

Why would we want to develop artificial human-like arithmetical intelligence, when computers already outperform humans in arithmetical calculations? Aside from arithmetic consisting of much more than mere calculations, one suggested reason is that AI research can help us explain the development of human arithmetical cognition. Here I argue that this question needs to be studied already in the context of basic, non-symbolic, numerical cognition. Analyzing recent machine learning research on artificial neural networks, I show how AI studies could potentially shed (...) light on the development of human numerical abilities, from the proto-arithmetical abilities of subitizing and estimating to counting procedures. Although the current results are far from conclusive and much more work is needed, I argue that AI research should be included in the interdisciplinary toolbox when we try to explain the development and character of numerical cognition and arithmetical intelligence. This makes it relevant also for the epistemology of mathematics. (shrink)

The causal theory of action has been the standard view in the philosophy of action and mind. In this chapter, I will present responses to two challenges to the theory. The first says, basically, that there is no positive argument in favour of the causal theory, as the only reason that supports it consists in the apparent lack of tenable alternatives. The second challenge says that the theory fails to capture the phenomenon of agency, as it reduces activity to mere (...) happenings (events and event-causal processes). This is often referred to as the problem of "disappearing agency". My main aim is to show that there is no problem of disappearing agency, and we will see that my response to the first challenge will be conducive to this end. I will present a positive argument for the causal theory on the basis of considerations concerning the metaphysics of agency, and I will suggest that we "own" the agency that springs from our mental states and events "by default". (shrink)

Since causal processes can be prevented and interfered with, law-governed causation is a challenge for necessitarian theories of laws of nature. To show that there is a problematic friction between necessity and interference, I focus on David Armstrong's theory; with one proviso, his lawmaker, nomological necessity, is supposed to be instantiated as the causation of the law's second relatum whenever its first relatum is instantiated. His proviso is supposed to handle interference cases, but fails to do so. In order to (...) be able to handle interferences, any theory which utilizes a kind of necessitation as lawmaker has to downgrade what it treats as necessity to something more akin to (Newtonian) forces. (shrink)

One of the most fundamental questions in the philosophy of mathematics concerns the relation between truth and formal proof. The position according to which the two concepts are the same is called deflationism, and the opposing viewpoint substantialism. In an important result of mathematical logic, Kurt Gödel proved in his first incompleteness theorem that all consistent formal systems containing arithmetic include sentences that can neither be proved nor disproved within that system. However, such undecidable Gödel sentences can be established to (...) be true once we expand the formal system with Alfred Tarski s semantical theory of truth, as shown by Stewart Shapiro and Jeffrey Ketland in their semantical arguments for the substantiality of truth. According to them, in Gödel sentences we have an explicit case of true but unprovable sentences, and hence deflationism is refuted. -/- Against that, Neil Tennant has shown that instead of Tarskian truth we can expand the formal system with a soundness principle, according to which all provable sentences are assertable, and the assertability of Gödel sentences follows. This way, the relevant question is not whether we can establish the truth of Gödel sentences, but whether Tarskian truth is a more plausible expansion than a soundness principle. In this work I will argue that this problem is best approached once we think of mathematics as the full human phenomenon, and not just consisting of formal systems. When pre-formal mathematical thinking is included in our account, we see that Tarskian truth is in fact not an expansion at all. I claim that what proof is to formal mathematics, truth is to pre-formal thinking, and the Tarskian account of semantical truth mirrors this relation accurately. -/- However, the introduction of pre-formal mathematics is vulnerable to the deflationist counterargument that while existing in practice, pre-formal thinking could still be philosophically superfluous if it does not refer to anything objective. Against this, I argue that all truly deflationist philosophical theories lead to arbitrariness of mathematics. In all other philosophical accounts of mathematics there is room for a reference of the pre-formal mathematics, and the expansion of Tarkian truth can be made naturally. Hence, if we reject the arbitrariness of mathematics, I argue in this work, we must accept the substantiality of truth. Related subjects such as neo-Fregeanism will also be covered, and shown not to change the need for Tarskian truth. -/- The only remaining route for the deflationist is to change the underlying logic so that our formal languages can include their own truth predicates, which Tarski showed to be impossible for classical first-order languages. With such logics we would have no need to expand the formal systems, and the above argument would fail. From the alternative approaches, in this work I focus mostly on the Independence Friendly (IF) logic of Jaakko Hintikka and Gabriel Sandu. Hintikka has claimed that an IF language can include its own adequate truth predicate. I argue that while this is indeed the case, we cannot recognize the truth predicate as such within the same IF language, and the need for Tarskian truth remains. In addition to IF logic, also second-order logic and Saul Kripke s approach using Kleenean logic will be shown to fail in a similar fashion. (shrink)

In this paper I study the development of arithmetical cognition with the focus on metaphorical thinking. In an approach developing on Lakoff and Núñez, I propose one particular conceptual metaphor, the Process → Object Metaphor, as a key element in understanding the development of mathematical thinking.

This paper explores religious belief in connection with epistemological disjunctivism. It applies recent advances in epistemological disjunctivism to the religious case for displaying an attractive model of specifically Christian religious belief. What results is a heretofore unoccupied position in religious epistemology—a view I call ‘religious epistemological disjunctivism’. My general argument is that RED furnishes superior explanations for the sort of ‘grasp of the truth’ which should undergird ‘matured Christian conviction’ of religious propositions. To this end I first display the more (...) familiar perceptual epistemological disjunctivism, contrasting it with both externalist and classically internalist views. This prepares the way for introducing RED with its own distinctive factive mental state operator—pneuming that p. In this second section I present the RED model, not failing to address a potential problem concerning religious disagreement. I also clarify RED’s distinctive internalist aspect, describing how it comports with contemporary internalist thinking in epistemology. I then move in section three to criticize externalist and classical internalist views, showing where they fail to make proper sense of the sort of knowing which should ground mature Christian conviction. Specifically, I highlight three intuitions which I think any theory of religious belief should capture: what I call the case-closed intuition, the good believer intuition, and the Plantingian platitude. This is all to set up for the final section where I argue that RED is superior for understanding proper religious believing—capturing the aforementioned intuitions. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order (classical) systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)